// include/printf.h
#ifndef _PRINTF_H
#define _PRINTF_H
#include "types.h"
#include "uart.h"
int printf(const char *fmt, ...);
void console_clear();
void printptr(uint64 x);
#endif
